DUGi: Llistar Títols | Cané Salamià, Marc | 0 - 1

Llistar Títols per Autor "Cané Salamià, Marc"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	1 setembre 2019	Eina educativa de suport per l’estudi de resoledors SAT	Cané Salamià, Marc

1

Matèries

Backjumping Solució de problemes Problema de satisfactibilitat booleana Problem solving Universitat de Girona Clause learning SAT

Autors

Villaret Auselle, Mateu Coll, Jordi Universitat de Girona. Escola Politècnica Superior Cané Salamià, Marc